/*!\file  interrupt.h  The IRQ Handlers.
 *
 *      This file is part of the micro-rtos package.
 *
 *  Copyright (c) 2008-2009 by 
		Gabriel Zabusek <gabriel.zabusek@gmail.com>
 *
 *      This program is free software; you can redistribute it and/or
 *      modify it under the terms of the GNU General Public License
 *      as published by the Free Software Foundation; either version
 *      2 of the License, or (at your option) any later version.
 */

#ifndef __INTERRUPT_H
#define __INTERRUPT_H

volatile int	IRQ_TIMER_TICK;

void irq_h(void) __attribute__ ((interrupt("IRQ")));
void swi_h(void) __attribute__ ((interrupt("SWI")));

#endif
